package pt;

import java.io.FileNotFoundException;

import pt.iscteiul.worldfootball.businesslayer.Campeonato;
import pt.iscteiul.worldfootball.businesslayer.Cidade;
import pt.iscteiul.worldfootball.businesslayer.Continente;
import pt.iscteiul.worldfootball.businesslayer.FaseCampeonato;
import pt.iscteiul.worldfootball.businesslayer.Grupo;
import pt.iscteiul.worldfootball.businesslayer.Pais;
import pt.iscteiul.worldfootball.businesslayer.TipoCampeonato;

public class Test  {
    public Test () { }
    public Test (Object [] initialContents) { }
    public void push (Object o) { }
    protected boolean push_Precondition (Object o) {
    	System.out.println("hey2");
    	return o != null;
    }
    
    public static void main(String[] args) {
		
    	/*Test test = new Test();
		System.out.println("hey1");
		test.push(null);
		System.out.println("hey3");
		
		/*
		 * 
		-- @Teste !cidade := new Cidade
		-- @Teste !cidade.inicializa_simples('Lisboa', 10000, true)
		-- @Teste !Portugal.inserirCidade(cidade)
		-- @Teste !Portugal.inserirCidade(cidade)
		 * */
		Cidade cidade1 = new Cidade();
		cidade1.inicializa_simples("Lisboa", 10000, true);
		Cidade cidade2 = new Cidade();
		cidade2.inicializa_simples("Coimbra", 10000, true);
		Pais pais = new Pais(1000000, "Portugal", 10000000, new Continente("Europa"), new Grupo("Euro", FaseCampeonato.QuartosFinal, new Campeonato(TipoCampeonato.Europeu, "Euro")));
		pais.inserirCidade(cidade1);
		pais.inserirCidade(cidade2);
	}
    
  }